First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
451	Extracted from: Good Math A Geek’s Guide to the Beauty of Numbers, Logic, and Computation Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-07 09:11:47 Predicate logic Set theory Model theory Semantics Predicate First-order logic S Naive set theory Infinity Mathematical logic Logic Mathematics
452	Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models Jasmin Christian Blanchette1? and Koen Claessen2 2 1 Institut für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical proofs Inductive reasoning Mathematical induction Graph theory Structural induction Constructible universe First-order logic Automated theorem proving Mathematics Logic Mathematical logic
453	The Ackermann Award 2005 Erich Gr¨ adel, Janos Makowsky, and Alexander Razborov Members of EACSL Jury for the Ackermann Award The Ackermann Award Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:16 Automated theorem proving Computability theory Theory of computation Computational complexity theory Logic in computer science Alexander Razborov Wilhelm Ackermann Decidability First-order logic Theoretical computer science Mathematics Logic
454	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Automated theorem proving Proof theory Mathematical proofs Logical syntax First-order logic Proof assistant Theorem Isabelle Natural deduction Logic Mathematics Mathematical logic
455	A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-12 19:07:51 Mathematics Automated theorem proving Logic programming Unification Curry–Howard correspondence First-order logic Interpretation Heat equation SKI combinator calculus Mathematical logic Logic Model theory
456	Unified Classical Logic Completeness A Coinductive Pearl Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Proof theory Symbol Sequent calculus Model theory First-order logic Mathematical logic Logic Metalogic
457	A Critical Evaluation of Commensurable Abduction Models for Semantic Interpretation Add to Reading List Source URL: www.norvig.com Language: English - Date: 2006-05-08 19:40:35 Reasoning Model theory Quantum mechanics Epistemology Abductive reasoning Charles Sanders Peirce Interpretation Coherence First-order logic Logic Statistics Science
458	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Lambda calculus Proof assistant Isabelle Logic for Computable Functions HOL First-order logic Theoretical computer science Mathematics Mathematical logic
459	ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-25 16:36:05 Metalogic Symbol Structure Interpretation First-order logic Functional predicate Model theory Logic Mathematical logic
460	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic

UPDATE